<div>
  Geben Sie Servernamen-Muster an, die nicht über den Proxy abgerufen werden
  sollen. Geben Sie einen Eintrag pro Zeile ein. Verwenden Sie gegebenenfalls
  das Jokerzeichen "*", um Gruppen von Servern anzugeben (wie in "*.jenkins.io"
  or "www*.jenkins-ci.org")
</div>
